Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
421	Evolution Complexity of the Elementary Cellular Automaton Rule 18 Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:39 Mathematical proof Pumping lemma for regular languages Formal languages Mathematics L-system
422	PDF Document Add to Reading List Source URL: ohioswallow.com Language: English - Date: 2015-01-27 11:15:20 Geography of North America Appalachian Ohio Galley proof Appalachia Ohio West Virginia Publishing Mathematical proof Cleveland Geography of the United States States of the United States United States
423	PDF Document Add to Reading List Source URL: www.sscnet.ucla.edu Language: English - Date: 2002-08-08 18:56:28 Formal systems Concepts Mathematical logic Axiomatic system Axiom Mathematical proof Complexity Theory Economic model Mathematics Logic Structure
424	PDF Document Add to Reading List Source URL: www.hsccoaching.com Language: English - Date: 2006-08-20 18:33:20 Analytic functions Mathematical series Integer sequences Trigonometric functions Sine Pi Factorial Wallis product Proof that π is irrational Mathematics Mathematical analysis Trigonometry
425	PDF Document Add to Reading List Source URL: www.softintegration.com Language: English - Date: 2004-10-25 19:49:06 Proof theory Orthogonal polynomials Mathematical analysis Beta distribution Beta function
426	AUTHOR’S COPY \| AUTORENEXEMPLAR ZUR DISKUSSION Infinite Analysis, Lucky Proof, and Guaranteed Proof in Leibniz Gonzalo Rodriguez-Pereyra and Pa u l L o d g e Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2011-06-09 04:47:27 Philosophical logic Mathematical logic Philosophy of mathematics Branches of philosophy Dichotomies Gottfried Leibniz Principle of sufficient reason Truth A priori and a posteriori Philosophy Logic Knowledge
427	Interpolation and Symbol Elimination⋆ Laura Kov´acs1 and Andrei Voronkov2 1 2 Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2010-02-15 09:12:21 Logical syntax Propositional calculus Proof theory Interpolation Video Video signal First-order logic Formal proof Pi Logic Mathematical logic Mathematics
428	The Duality of Computation (revision fixing typos and a few errors – JanuaryPierre-Louis Curien Hugo Herbelin Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-11-23 12:28:12 Theoretical computer science Logic in computer science Curry–Howard correspondence Dependently typed programming Philosophy of computer science Type theory Natural deduction Lambda calculus Valuation Proof theory Mathematics Mathematical logic
429	Automated Deduction in the B Set Theory using Deduction Modulo? Guillaume Burel1 , David Delahaye2 , Damien Doligez3 , Pierre Halmagrand2 , and Olivier Hermant4 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-06 10:39:09 Logic in computer science Proof theory Automated theorem proving Model theory Unification First-order logic Mathematical proof Combinatory logic Rewriting Logic Mathematics Mathematical logic
430	The OpenTheory Standard Theory Library Joe Hurd1 Galois, Inc. http://www.gilith.com Add to Reading List Source URL: www.gilith.com Language: English - Date: 2014-03-02 18:30:03 Automated theorem proving Logic in computer science Model theory Proof theory Formal methods Proof assistant HOL Theorem Mathematical proof Logic Mathematics Mathematical logic

UPDATE